Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
41	On Rewriting Terms with Strict Functions and Error Propagation Olaf Owe Department of Informatics University of Oslo September 1990 Add to Reading List Source URL: folk.uio.no Language: English - Date: 2014-04-01 05:47:01 Theoretical computer science Mathematics Programming language theory Logic in computer science Mathematical logic Asymptotic analysis Logic programming Type theory Unification Rewriting Rewrite order Term
42	Uniform interpolation and sequent calculi in modal logic Rosalie Iemhoff∗ March 28, 2015 Abstract Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2015-04-01 07:45:41 Logic Mathematical logic Mathematics Proof theory Automated theorem proving Craig interpolation Lemmas Non-classical logic Sequent Propositional calculus First-order logic Modal logic
43	Fall 2015: EECS Textbook Order Please see the most updated information on http://wolverineaccess.umich.edu/ -> UM COURSE CATALOG -> Class Search (enter course subject and number) -> click on the class se Add to Reading List Source URL: www.eecs.umich.edu Language: English - Date: 2015-08-27 14:39:22 Software engineering Computing Programming language theory Textbooks Ada Digital textbook
44	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
45	Unicity of constant higher order mean curvature spacelike hypersurfaces in generalized Robertson-Walker spacetimes A. Gervasio Colares Universidade Federal do Cear´a, Brazil Joint work with Luis J. Al´ıas Add to Reading List Source URL: xtsunxet.usc.es Language: English - Date: 2007-03-09 06:05:53 Physics Lorentzian manifolds Theoretical physics General relativity Theory of relativity Exact solutions in general relativity Spacetime Minkowski space Manifold Riemannian manifold Metric tensor Schwarzschild coordinates
46	Consequence relations and admissible rules Rosalie Iemhoff∗ Department of Philosophy Utrecht University, The Netherlands June 10, 2016 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2016-06-10 10:25:19 Logic Mathematical logic Proof theory Admissible rule Natural deduction Sequent First-order logic Propositional calculus Substructural logic Rule of inference Intuitionistic logic Theorem
47	Spacelike hypersurfaces of constant higher order mean curvature in generalized Robertson-Walker spacetimes Debora Impera May 19, 2011 Email: Add to Reading List Source URL: gigda.ugr.es Language: English - Date: 2011-10-21 04:10:12 Theory of relativity Curvature Multivariable calculus Spacetime Differential geometry of surfaces Physics Exact solutions in general relativity Lorentzian manifolds Mathematics Theoretical physics
48	Ann Inst Stat Math:469–490 DOIs10463Second-order asymptotic comparison of the MLE and MCLE of a natural parameter for a truncated exponential family of distributions Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2016-06-28 03:34:43 Statistics Estimation theory Statistical theory Maximum likelihood estimation Efficient estimator Efficiency Estimator Asymptotic theory Ole Barndorff-Nielsen Likelihood function Two-step M-estimators involving MLE Generalized method of moments
49	An efficient analytical approach for solving fourth order boundary value problems Songxin Liang ∗ , David J. Jeffrey Department of Applied Mathematics, University of Western Ontario, London, Ontario, Canada, N6A 5B7 Add to Reading List Source URL: www.apmaths.uwo.ca Language: English - Date: 2009-06-09 10:38:26 Mathematical analysis Mathematics Asymptotic analysis Ordinary differential equations Partial differential equations Functional analysis Mathematical physics Homotopy analysis method Expected value Perturbation theory SturmLiouville theory
50	On Skolemization in constructive theories Matthias Baaz∗ Rosalie Iemhoff Inst. for Discrete Math. and Geometry E104 Add to Reading List Source URL: www.phil.uu.nl Language: English - Date: 2008-02-06 05:45:02 Logic Mathematical logic Abstraction Model theory Proof theory Predicate logic Logic in computer science Philosophical logic Skolem normal form Herbrandization First-order logic Intuitionistic logic